Commutativité : $$\forall x,y\in E,x*y=y*x$$
Si \(*\) est commutatif, alors on a : $${{(x*y)^n}}={{x^n*y^n}}$$
[Schéma d'une relation] \(\longleftrightarrow\) commutativité, symétrie